More from this Author

Dependable Software Engineering. Theories, Tools, and Applications

by Kim Guldstrand Larsen (Editor), Oleg Sokolsky (Editor), Ji Wang (Editor)

From Reactive Systems to Cyber-Physical Systems

by Ezio Bartocci (Editor), Rance Cleaveland (Editor), Radu Grosu (Editor), Oleg Sokolsky (Editor)